-
1 доказательство (правильности) алгоритма
Makarov: algorithm proofУниверсальный русско-английский словарь > доказательство (правильности) алгоритма
-
2 доказательство правильности алгоритма
General subject: algorithm validationУниверсальный русско-английский словарь > доказательство правильности алгоритма
-
3 доказательство правильности алгоритма
Русско-английский индекс к Англо-русскому толковому словарю терминов и сокращений по ВТ, Интернету и программированию > доказательство правильности алгоритма
-
4 доказательство алгоритма
Makarov: (правильности) algorithm proofУниверсальный русско-английский словарь > доказательство алгоритма
-
5 algorithm
ˈælɡərɪðm сущ.;
мат. алгоритм algorithm validation ≈ проверка правильности алгоритма(специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритмаalgorithm мат. алгоритм ~ алгоритмalmost-dual ~ приближенно двойственный алгоритмbest-route ~ вчт. алгоритм выбора оптимального маршрутаbranching ~ вчт. ветвящийся алгоритмcompression ~ вчт. алгоритм сжатияdigit-by-digit ~ вчт. детальная программаdouble-sweep ~ вчт. алгоритм двойного поискаdual simplex ~ двойственный симплексный алгоритмestimation ~ вчт. алгоритм оцениванияexchange ~ вчт. перестановочный алгоритмgeneral ~ вчт. общий алгоритмgenetic ~ вчт. генетический алгоритмgreedy ~ вчт. поглощающий алгоритмinteger ~ целочисленный алгоритмmaximin ~ вчт. максиминный алгоритмminimax ~ вчт. минимаксный алгоритмnested ~ вчт. вложенный алгоритмnetwork ~ вчт. алгоритм решения задач сетевого планированияoperative ~ вчт. рабочий алгоритмoptimal path ~ алгоритм выбора оптимального маршрутаoptimization ~ вчт. алгоритм оптимизацииpainter's ~ вчт. алгоритм живописцаplacement ~ вчт. алгоритм размещенияproblem ~ вчт. алгоритм задачиrecursive ~ вчт. рекурсивный алгоритмrobus ~ вчт. живучий алгоритмrouting ~ вчт. алгоритм трассировкиscheduling ~ вчт. алгоритм планированияsearch ~ вчт. алгоритм поискаsimplex ~ вчт. симплексный алгоритмsmoothing ~ вчт. алгоритм хешированияstack ~ вчт. магазинный алгоритмtesting ~ вчт. алгоритм тестированияtext-to-speech ~ вчт. алгоритм речевого воспроизведенияtransportation ~ вчт. алгоритм решения транспортной задачиverification ~ вчт. алгоритм верификацииwave ~ вчт. волновой алгоритмБольшой англо-русский и русско-английский словарь > algorithm
-
6 algorithm validation
1) Общая лексика: доказательство правильности алгоритма2) Нефть: проверка правильности алгоритма -
7 algorithm validation
проверка правильности алгоритма, доказательство правильности алгоритмасм. тж. algorithmАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > algorithm validation
-
8 algorithm
[ʹælgərıð(ə)m] n спец.алгоритмalgorithm validation - проверка /доказательство/ правильности алгоритма
-
9 algorithm proof
-
10 validation
1. проверка правильностиvalidation criterion — критерий достоверности; критерий правильности
2. подтверждениеEnglish-Russian dictionary of Information technology > validation
-
11 algorithm validation
validation criterion — критерий достоверности; критерий правильности
English-Russian dictionary of Information technology > algorithm validation
-
12 formal program validation
См. также в других словарях:
Свойства алгоритма — Свойства алгоритмов К алгоритму предъявляется ряд требований: Определенность, т.е. он должен быть точен, общепонятен, исключать возможность произвольного толкования. Массовость, т.е. чтобы его можно было применить к однотипным задачам.… … Википедия
Дейкстра, Эдсгер Вибе — Эдсгер Вибе Дейкстра Edsger Wybe Dijkstra … Википедия
Дейкстра Э. В. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра, Эдсгер — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра Эдсгер Вайб — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра, Эдсгер Вайб — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра Э. — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Дейкстра Эдсгер Вибе — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Эдсгер Вайб Дейкстра — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Эдсгер Вибе Дейкстра — (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
Эдсгер Дейкстра — Эдсгер Вибе Дейкстра Эдсгер Вибе Дейкстра (нидерл. Edsger Wybe Dijkstra; 11 мая 1930, Роттердам (Нидерланды) 6 августа 2002) выдающийся нидерландский учёный, идеи которого оказали огромное влияние на развитие компьютерной индустрии. Содержание … Википедия
